✅ Build completed.

Please test this code using one of the following:

⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-9044-BUILD-883-linux32.tar.xz
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-9044-BUILD-883-linux64.tar.xz
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-9044-BUILD-883-windows.zip
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-9044-BUILD-883-macosx.zip
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-9044-BUILD-883-linuxarm.tar.xz

ℹ️ The linuxarm build is still experimental and may not be always available.

I tested on a clean install of Windows 10, so I assume that would mean I'm not using a non-standard font. ClearType is enabled by default. I found the test build results in a change (somewhat for the worse IMO) to the look of the fonts in the menus. I found that I get the same results with Arduino IDE 1.8.9 if I turn off ClearType.

So it seems that the intention that "this patch should not affect people with standard configurations" is not being accomplished.

@per1234 it's exactly what I wanted to test, thanks 😄
I'd then keep the workaround in the wiki or in some place where people with that problem can find it easily. Where do you think we can write it?

Since this is a user topic, rather than a developer topic, I think it should be documented on arduino.cc rather than the wiki. The location that comes to mind is this page:
https://www.arduino.cc/en/Guide/Troubleshooting
I'm not a big fan of that page as it stands now because there is a lot of extremely outdated content and it seems a bit disorganized, but I can't think of a better location to document this.

Thank you!!
I solved the problem by this build

@per1234 did we add the workaround somewhere at the end? Would you mind adding a link here (and probably removing the @ArduinoBot build)? Thanks!

@facchinm I haven't added it. I'm happy to write the text, but I don't have edit access to the website content. As I said, I'm not in favor of adding it to the GitHub wiki (but willing to do so if that's the final decision).

I saw that in #7839 (comment) @SimonePDA said they had created a Jira ticket about this. I went to check the status there, but I couldn't find it in the FT-Content Jira. I'm probably just looking in the wrong place.

Anyway, I'm happy to help out the FT-Content team with this project in any way. Just let me know what I can do.

UPDATE 2020-10-01 It has now been documented in the troubleshooting guide:
https://www.arduino.cc/en/Guide/Troubleshooting#why-is-the-arduino-ides-menu-text-gibberish